l{-}union{-}list(${\it eq}$;${\it ll}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$list\_accum(${\it as}$,${\it bs}$.l{-}union(${\it eq}$;${\it as}$;${\it bs}$);nil;${\it ll}$)